val a : {a:int, b:bool} -> unit
